8.96/10.60	unsat
