29.34/30.44	unsat
