8.98/10.65	unsat
