2.59/3.89	unsat
