29.11/30.82	unsat
