6.18/10.27	unsat
