7.13/7.19	unsat
