19.63/21.10	unsat
