7.18/7.27	unsat
