30.11/30.25	unsat
