8.95/10.07	unsat
