19.26/22.27	unsat
