1.59/1.82	unsat
