9.27/9.65	unsat
