7.57/7.65	unsat
