19.24/19.31	unsat
