8.12/8.27	unsat
