8.97/10.65	unsat
