30.82/30.97	unsat
