1.59/1.83	unsat
