19.69/20.25	unsat
