19.35/20.88	unsat
