19.93/22.46	unsat
