30.58/30.72	unsat
