19.06/20.73	unsat
