19.36/21.82	unsat
