1.59/3.21	unsat
