2.53/3.65	unsat
