2.51/3.65	unsat
