30.63/32.82	unsat
