30.18/30.20	unsat
