9.88/11.65	unsat
