Done first version of PicoSAT