2.47/2.61	unsat
