15.10/19.27	unsat
