2.49/2.59	unsat
