1.59/4.90	unsat
