31.48/32.50	unsat
