30.03/30.25	unsat
