29.46/30.29	unsat
