7.19/7.22	unsat
