29.31/30.07	unsat
