31.74/32.60	unsat
