9.06/9.60	unsat
