30.52/32.68	unsat
