30.35/35.11	unsat
