30.33/32.29	unsat
