19.18/20.50	unsat
