19.26/22.52	unsat
