13.19/13.27	unsat
