8.96/9.71	unsat
