9.97/11.65	unsat
