2.57/2.65	unsat
