19.23/20.97	unsat
