10.16/10.27	unsat
