29.72/30.95	unsat
