30.55/36.25	unsat
