19.93/20.25	unsat
