2.47/2.65	unsat
