1.59/1.80	unsat
