19.25/22.42	unsat
