9.27/11.60	unsat
