30.35/30.93	unsat
