7.18/7.20	unsat
