29.23/30.82	unsat
