8.95/9.67	unsat
