30.83/30.93	unsat
