1.59/3.81	unsat
