19.26/20.20	unsat
