30.21/32.84	unsat
