19.26/21.46	unsat
