12.06/12.27	unsat
