7.18/7.26	unsat
