19.29/21.50	unsat
