30.32/30.69	unsat
