10.97/12.27	unsat
