30.21/32.83	unsat
