30.55/35.07	unsat
