31.81/32.86	unsat
