30.22/30.42	unsat
