30.03/32.84	unsat
