29.36/30.73	unsat
