1.59/1.71	unsat
