9.27/10.60	unsat
