7.19/7.29	unsat
