2.59/3.03	unsat
