2.59/3.20	unsat
