19.26/22.46	unsat
