2.59/3.71	unsat
