19.16/20.25	unsat
