30.12/30.29	unsat
