19.26/20.50	unsat
