30.32/30.42	unsat
