9.48/9.60	unsat
