30.20/30.29	unsat
