10.39/12.27	unsat
