8.96/10.23	unsat
