31.54/32.38	unsat
