31.54/31.60	unsat
