9.18/9.65	unsat
