8.96/9.29	unsat
