9.27/12.60	unsat
