8.29/9.60	unsat
